System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
431	Optimal Dialog in Consumer-Rating Systems using a POMDP Framework Zhifei Li Patrick Nguyen, Geoffrey Zweig Center for Language and Speech Processing Microsoft Corporation Johns Hopkins University Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-07-01 12:34:57 Dynamic programming Markov processes Stochastic control User interfaces Partially observable Markov decision process Dialog system Speech recognition User interface Dialogue Humanâ€“computer interaction Statistics User interface techniques
432	Adding Wildcards to the Java Programming Language Mads Torgersen Christian Plesner Hansen Erik Ernst, and Peter von der Ahe´ University of Aarhus Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-01-14 14:05:32 Type theory Computer programming Polymorphism Data types Generic programming Covariance and contravariance Subtype polymorphism Parametric polymorphism Type system Software engineering Computing Object-oriented programming
433	Pawn embedded scripting language H0420 Programming Guide & Reference Version 1.10 Add to Reading List Source URL: www.compuphase.com Language: English - Date: 2015-01-16 07:31:24 Event-driven programming Push-button Embedded system
434	Operating System Development with ATS Work in Progress Matthew Danish Hongwei Xi Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-01-25 12:25:56 Type theory Functional languages Data types Cross-platform software ATS C dynamic memory allocation Kernel C Type system Computing Software engineering Programming language theory
435	Some programmers question certain claims made for threaded-code systems. The author defends these claims by tracing such a system from its origin in simple concepts. An Architectural Trail Add to Reading List Source URL: home.claranet.nl Language: English - Date: 2008-07-19 04:46:07 Programming language implementation Subroutines Holism Source code University of Cambridge Computer Laboratory Forth Threaded code Stack Pointer Software engineering Computing Computer programming
436	2 A GAMS Tutorial 2.1 by Richard E. Rosenthal Add to Reading List Source URL: gams.com Language: English - Date: 2014-12-22 04:53:14 Software engineering Mathematical optimization Mathematical modeling General Algebraic Modeling System AMPL Algebraic modeling language Assignment Linear programming Variable Mathematics Operations research Computer algebra systems
437	Specification of Zinc and MiniZinc Nicholas Nethercote Mark Wallace Kim Marriott Reza Rafeh Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-05-30 04:26:48 Computing Programming language theory ZM C Type system Enumerated type Variable E Data types Type theory Software engineering
438	Faculty of Engineering and Natural Sciences Fast Profiling in the HotSpot Java VM with Incremental Stack Tracing and Partial Safepoints Add to Reading List Source URL: mevss.jku.at Language: English - Date: 2015-01-09 06:22:09 Virtual machines Cross-platform software Java virtual machine Java programming language Programming language implementation HotSpot Just-in-time compilation Profiling Java Computing Software System software
439	Safe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Simon Peyton Jones Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:03 ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
440	A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing by Adrian D. Thurston Add to Reading List Source URL: www.colm.net Language: English - Date: 2008-12-15 22:45:48 Programming language theory Compiler construction Parsing LR parser TXL Earley parser CYK algorithm Formal grammar Programming language Formal languages Combinatorics Software engineering

UPDATE